SDT: A Programming Language for Debugging (Working Paper)
نویسنده
چکیده
This paper describes the debugger that we are developing as part of the FIELD programming environment. FIELD requires a powerful and flexible debugging framework to facilitate new tools for program and data visualization and for multiple-view programming. Traditional debuggers are too limited to easily fulfill this roll. We are developing a debugger, SDT, that is actually a powerful programming language where the systems being debugged are first class objects. SDT will easily support traditional debugging tasks. Moreover, it should provide the basis necessary for the advanced tools currently under development. SDT: A Programming Language for Debugging (Working Paper) Steven P. Reiss
منابع مشابه
The HPCVL Working Template: A Development Tool for Parallel Programming
This manual explains the structure and usage of the HPCVL Working Template for parallel programming that was developed by Gang Liu. The HPCVL Working Template (in the following abbreviated to HWT) is a set of scripts and routines that provide a simple and portable tool for version maintenance, timing and automatic relative debugging of programs that are designed to run on parallel computers. Th...
متن کاملDebugging strategies and tactics in a multi-representation software environment
This paper investigates the interplay between high level debugging strategies and low level tactics in the context of a multirepresentation software development environment (SDE). It investigates three questions. 1. How do programmers integrate debugging strategies and tactics when working with SDEs? 2. What is the relationship between verbal ability, level of graphical literacy and debugging (...
متن کاملTowards Visual Development of Message-Passing Programs
Writing and managing programs for parallel systems is a difficult task. It is a great challenge for designers of visual programming languages to provide tools that will help in the process. This paper describes a new graph based tool called Visper that provides a multidimensional environment for program composition. Our approach combines different levels of abstraction at which parallel program...
متن کاملDebugging for a Declarative Programming Language
This paper investigates debugging in declarative programming languages, concentrating specifically on the integrated functional and logic programming language Escher. The Escher language has types and modules, higher-order and meta-programming facilities, and declarative input/output. It also has a collection of system modules, providing numerous operations on standard data types such as intege...
متن کاملTheoretical Foundations for the Declarative Debugging of Lazy Functional Logic Programs
The aim of this paper is to provide theoretical foundations for the declarative debugging of wrong answers in lazy functional logic programming. We rely on a logical framework which formalizes both the intended meaning and the execution model of programs in a simple language which combines the expressivity of pure Prolog and a signi cant subset of Haskell. As novelties w.r.t. to previous relate...
متن کامل